No, I guess I'm not really going crazy quite yet. At least I hope not. Because I'm still having quite a bit of fun.
Nonetheless it's a lot of guess-and-check, trying to figure out what I need to prove down deep in the technical guts of the results I'm trying to obtain, much less actually proving it.