clean up stop at reduction to FTFL