The paper contains a review and discussion of Robert Trueman's book Properties Propositions: Metaphysics Higher-Order Logic, Cambridge University Press, 2021, pp. xii + 227. ISBN 978-1-108-81410-2. is focused on the consistency Truema's language-based ontology its value in defending higher-order logic.