def
≡
a
≡
b