Beviszhang presentations