But the author of §4, at any rate, insists that it is only because we have observed that moving things hereabouts, despite other differences, all share the property of moving through empty spaces, that we affirm that the same thing holds without exception in non-evident places too (xxxv 36–xxxvi 7). The full form of this sign-inference would therefore run: “Since moving things hereabouts all move through empty space, all moving things move through empty spaces; and since all moving things move t