assert : 2 ≡ 2