Technique invented by Paul Cohen for proving consistency and independence results.