Title: Manipulator operations using value encoding