Air pump in Mathematical elements of natural philosophy 1731 Stock ...