Added asserts for 1) c)