CondensedFormula