Tag: Every integer is a whole number