[Rough Rock 013] depression architecture closed property