TYPO!!: In the section "Suspicious use of subst" it says that b is being replaced, but in the second formula box a has been replaced, not b. Furthermore the number that replaced a is not the same as the number used in the previous subst statement.