opening the book:
Meta-housing-coop explanation attempt 4 proofed