type(1 < 1)
