See <http://www.andrew.cmu.edu/user/awodey/preprints/natural.pdf>