Document all assertions