you only want to ensure that X in F<X> and G...
# random
p
you only want to ensure that X in F<X> and G<X> comform