Code Design/Structure

Oh, in what way? So what are p and q in p+q? How does the addition make the identity any clearer? I do see the expression... but... the difference between a+b and p+q doesn't just jump out at me!

You are gaslighting.

If you are saying that variables can be identified by context, that is true but there are many things in coding that are sufficient to perform the task but not the best.

In fact, such an expression can be perfectly clear in a local context. It is when its scope is extended beyond a few lines that it becomes an obfuscation. Good example, although artificial:

int sum( int a, int b) {
  return a+b;
}

or the classic:

for (int i; i < 8; i++) {
... // just a few lines
}

Because the semantics are contained in a small "bubble".