Laurent OrderLaurent Proofs