Fix definition of `geq`