Knowing and the Mystique of Logic and Rules by Peter Naur