"If n is a positive integer, is n equal to 100 ?" . . . .