0.4: Fixes definiiton of `geq`