let (>=) = ge