Not allowed: 0 < 2