let example = assert : 1 ≡ 1 in 1