The Edge proofs - elisif