Revised the introduction; preparing to update specification to version 0.4.1