  Now, if there were objects incomplete with respect to instantiation problems would arise, since the law tertium non datur would be violated. For example, if we ask the question, is the triangle right-angled, then the Law of Excluded Middle tells us that either it is right-angled or it is not. Although the conceptual object identified above as the triangle neither is determined by being right-angled nor is it determined by being non-right-angled, it nevertheless instantiates the property of being non-right-angled. So, according to Mally, for every property F and every object x, the following holds: