eq 1 2: False
eq 1 1: True