'ge' and 'le' are actually implemented