Proof-Theoretical Coherence door Kosta Dosen & Zoran Petric