Added some explanation of our design theory to the README.