Coleman number?