Before revision: REDIRECT DEX O Dex-net is a robotic manipulator.
After revision: Dex-net is a robotic manipulator.