Title: DECLARATORY FORMULAE