simple assertions for le, lt, gt, ge.  TODO: find a way to factor definitions because that would be much nicer