I first understood the conjecture as bounding the exponential function on the size of the graph of an element of `F_H`, but apparently the odd thing is the exponent depends solely on `H`.