Davis_OrderDavis_Proofs