[Ice 001] depression architecture closed property