Added formalities. This is now version 1.0.