Category with unknowns C,A
G **
A
^2 **
C
- F