Forcing constructions, as developed by Cohen, produce extensions of ground models where new syntacti...