Finished the induction principle for the torus, i.e. did the rule for t : p . q = q . p.