4 is a number