New formulas: Plan9