Surely people have thought about this, but is it so useful to include proofs in textbooks?