Before revision: Substitute the formula (y = x + 1 v x = y + 1) for Axy.
After revision: Substitute the formula for Axy.