primitive: a mathematical expression from which another expression is derived
formula: a group of symbols that make a mathematical statement
visiting professor: a professor visiting another college or university to teach for a limited time