 Using ‘E!’ we can express classical logic’s blanket presumption that singular terms denote members of \(\bD\) as an explicit premise, E\(!t\), for selected terms \(t\). Thus we can formulate the following weaker analogs of universal instantiation: