Refinements in Formula generation.  Update on the documentation.