grenchman formulae