Freas_Newborn_Proofs