a < b implies b > a