Formals

TODO: add description of formal here

Find out how to book formal hall here