Präktig logik och ärlig bevisföringl