[83457]

So his refactor fixed a bug and broke a test which he fixed, so you assume he must have assumed instead of verified.