rlm@0: call professor_details (?);