type(1 >= 1)
