2 problems
A graph of has two vertex orbits whose stabilizers satisfy the relevant inclusion, with the first orbit intended for elimination by a sequence of moves. Non-eliminab…
Amalgamated graph conjecture. The right-hand side of this equality is nonnegative.