The theory of screws derived from a module over the dual numbers | Synapse