Nevermind -- I see those are tested below.