If A ⊆ ω1, then there exists a cardinal preserving generic extension [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ][x ] of [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ] by a real x such that1) A ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ] and A is Δ1HC in [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ];2) x is minimal over [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ], that is, if a set Y belongs to [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ], then either x ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A, Y ] or Y (...) ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ].The forcing we use implicitly provides reshaping of the given set A. (shrink)