Your guess is correct. A 10x (typical) or 20x eyepiece would be used.