Dump PROPER-FORMULAS.