LONG-FORM MATHEMATICS