if <def < abc then <def <abc