Who could have guessed that making "verification" trivially easy would have downsides???