F(- d)			
G(F c)
G(a -> (X(F e)))
G(c -> (F a))
G((F e) -> d)