>| 2 {1 gt} {=} ift 2