Conjectures must have equality for at least one graph to be significant
Removed some blank lines