FOL + G2 completa