Reduced by GFsm