Shorter formulae