Cmp/ltn : Cmp

~λP λltn λeql λgtn ltn