“a theory of necessary conditions”