How to program encoders for a torque ratio?

How can you use encoders for different levels for a lifter if that’s possible

rotateTo, then multiply or divide the target angle by the gear ratio. So for a 7:1ratio arm to raise 20 degrees, you would ask the motor for 20 * 7 degrees, as the motor needs to rotate 7 times further.