Following keep_grinding.ieq4q