[Rough Rock 015] depression architecture closed property