Killian Proofs