assertions pt. I

assertions pt. I