Finished drafting Section 5: The subformula property
Finished drafting Section 5: The subformula property
Finished drafting Section 5: The subformula property