Add README.md
Add formulae