Ilana proofs