assertions pt. II + documentation

assertions pt. II + documentation