A strategy is like a prestrategy except in addition the user can make (and the program prompts ) certain changes of variables. The nature of these changes of variables is explained in [HS99] and sketched in Chapter 31. The NCProcess output prompts for changes of variables if NCCOV → True by placing parentheses in carefully selected places. The experimental commands described in §31 actually automate this change of variable business to some extent.