Added Assumptions and version number