1/3: Building B (B.idr)
2/3: Building C (C.idr)
3/3: Building A (A.idr)
