 Forcing truth lemma

A formula holds in a generic extension exactly when some condition in the generic filter forces it for names of its parameters.