It is argued that physical (and not inherently psychical) properties are insufficient to constitute all else. Specifically they cannot constitute an instance (K1) of our knowledge that the number of existing things is at least one. This employs a new version of entry by entailment: Every fact as to the presence of a constituted trope is entailed by facts about the presence of the ontologically basic, where a property is ontologically basic if and only if the fact of its presence is not entailed (even allowing exhaustive definitions of all tropes in terms of their ultimate constituents) by facts about the presence of things non-identical to it.Existence is a mind-independent presence. Things can be present (to mind) as opposed to existi...