Dieter ducumenting, proofs before log entries are important. Back