added some formulae