Comment by amalcon

The second simple answer from the article is basically this: pointing out that A is conditionally defined in step 1, but both definitions are used in later steps as if they are the same value. It then goes on to over-explain that a bit, but this answer is in there.