Replace with a "null" RAUW with an assert since we'd actually like
to assume we're replacing. Clarify comments.