Added some general exposition