(FA (GA (FA GB)))
(GA (FA (GA (FA (GA FB)))))