Hun logische bijdrage zien nog ummer trök te vinde in de propositionele calculus vaan hui.