Proof Updates ~ 45th-parallel-eco