some more work, thinking about how to verify that B is correct.