Syllabus 4

Leases ^{4 / 4}