constants, not numbers