equations:
a = b, fb = c, fb = fc, d = gca, g(fa)b = e
terms:
terms in the equations + other terms in
resources or goal of gap (in this case, terms in fd)
fa
1
fb
0
fc
fd
a
0
b
0
c
d
0
e
0
gca
g(fa)b
2