let example0 = assert : 1 ≡ 1 let example1 = let x = 1 in assert : x ≡ 1 in 1