Seven is a number