Avi is studying mathematical patterns, and he makes the following conjecture:

for all values of a and b.

Some of Avi's friends have pointed out some counterexamples. How should Avi amend his conjecture so that it is always true?