Proof looking at code makes things less fun?