2 problems

Effective graph-model conjecture. All the effective graph models have non-r.e. equational theories.

Minimum-theory conjecture. The minimum equational graph theory is non-r.e.