GF is satisfied