   G (a -> b) 
   G a 
   - ( G b ) 
