Assignment

Recognize when comparisons are valid by reasoning