I think it would be good to update ```fc``` at the same time as ```b``` is updated. As far as I can see, with this more ```G```s could be rejected early.