reordered Everything a bit, improved Naturals proofs