Timer ' maschiner äro af dubbelt stag.