Title: Arcane Teaching with Formulas