add an explanation of assertions