Verify correction WIP