assertions.*: DRYed code. Added “heading” comments.