added documentation for Formulary and added test case for Formulary.