Rename conjecture to conjecture_equal
Add conjecture_diverge command