this can be formalized by the first order arithmetical formula presented above this does not mean that biointensive farming must exclude the raising of animals president wilson was a religiously observant presbyterian