Ciao - Assertions and their Use (via veqq) — discussion

#logiclangs