We use the rules to reduce a sequent to a conjunction of simpler
sequents. In this example we find that the expression asserted by the
sequent is a tautology — it is equivalent to the empty conjunction, so
is valid in every universe.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.