Okay, I dont' like the type of proof that is presented on a test like "prove this incredibly complex formula". I like *reading* the proofs and understanding *why* they work, but I don't like them on tests.
I mean, come on david, somebody like you, a computer scientist, must enjoy knowing how things work "under the hood", right?