We should be glad we are a country which does not take the word of "authority" at face value. Surely the best scientists and innovators come from that tradition. If a person does not understand a proof, they should not blindly accept it.

Sounds exactly like IPython Notebook, which is awesome in power and ease of use.

This is pretty much what Meraki was designed to do.