specific_assertion