A proof technique for showing that a given language does not belong to a given complexity class, used in many separation theorems.