noyesC := AA := BB := CPrint A, BstopEnter A, BstartB < A