Finished readmes, working on Formula