Some proof/editing