<<control>> RESET {Analysis}