 The transfer principle may be seen as a version of Leibniz’s continuity principle: it asserts that all first-order properties are preserved in the passage to or “transfer” from the standard to the nonstandard universe.