There should be a test with `num_fail > 0`, if they are to prove that "you can never *fail* W directly".