assertions.tex 311 Bytes