not (1 != 0.5)
