  a
  G (a -> ( X a ) ) 
  F ( - a ) 
