Erin - Proofs - DARWIN