let example = 1 ≡ 1 in 1