Yeah it isn't superfluous, it's separating the set-up form the verification.