let example0 = 1 ≡ 1

let example1 = let x = 1 in x ≡ 1

in 1