New theory of the Earth, with an appendix on the plurality of inhabited worlds