theorem: Parking garage concrete screen