Partial definitions of formulae functions