reduction to FTFL