assertions.tex 315 Bytes