 The natural philosophers also infer from the existence of motion a Mover and from the impossibility of linking motive beings in a chain infinitely the existence of the First Mover who is unmoved. Then from that they infer the existence of the First Principle.