Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.