The metatheoretic variation Cohen's forcing reveals is a pathology of first-order set-theoretic surr...