It's not a redefinition of "assumption" but rather a justification as to why these assumptions should not be qualified as "incorrect".