Für alle X, wobei X Element ist von Q, gilt, dass wenn P, dann auch X. Und dann dämmert es einem, dass moderne, analytische Philosophie etwas anderes ist als die Mischung aus Glückskeksweisheiten und Psychologie, für die sie oft gehalten wird.