  (Following Łukasiewicz, Prior and Meredith themselves used ‘L’ in place of ‘\(\Box\)’ and ‘M’ in place of ‘\(\Diamond\)’.) Their calculus consisted of ordinary quantification theory supplemented by these definitions, together with certain axioms governing the relation \(U\)—see below—and the following clauses: