Freas_Newborn_OrderFreas_Newborn_Proofs