While pushbuttons are the most common emergency stop device, rope pull switches are more effective in certain situations. Perhaps you should...