Kai Ronshausen Proofs on greenscreen