f g X g X X g X X nat nat f nat nat nat g nat nat nat FULL .