 Adopting a free logic, however, brings with it the following obligation: if one wishes to recognize that certain sorts of objects exist, or that a particular object exists, then one will have to postulate their existence explicitly. No longer does such existence derive from a kind of built-in, or tacit, default assumption of the underlying logic. Rather, it demands explicit expression as a theoretical commitment. 