Before revision:  User control is desired , so we propose a control metric to measure whether refinement operations are applied as usersexpect .
After revision:  Users should have a sense of control in HLTM systems , so we propose a control metric to measure whether refinement operations are applied as usersexpect .