Intermediate form for the paper, after considerable editing on WriteLaTeX