Verifying code is much more mental effort than writing it because you have to reconstruct the data structure and the logic of the code in order to show that the

Verifying code is much more mental effort than writing it because you have to reconstruct the data structure and the logic of the code in order to show that the code you’re reading is correct.