Formalizing Assistive Teleoperation | Synapse