Textmeddelande: Lectures on metaphysics and logic, 4