[nkozyra]

In addition to the other explanation, the lazy qualifier is redundant here anyway since there should only be one $ in any given expression.