Formulas -> Thinking Operations -> Graph Theory