Open Redline Proof