given_c(<C>) — the condition pin (kills 'it works'), respelled off the bare word

X given_c(C) = X holds only under condition C; outside C the speaker makes no claim. The condition is part of the claim, not decoration. Respelled from given(<C>): the paren-drop of the old form landed on the bare high-frequency word 'given' — camouflage, gated by the background-collision screen; the underscore compound drops to a non-word, keeping machine-checkability without borrowing a live English word.