Filled out remainder of assertions