rule_of_recognition