Re: Rel vs Abs proofs