Verify

This is here so you can verify global state