  G a 
  G ( X b )
  G ( X ( X ( X c ) ) ) 
