Add some formulas... TODO: remove the ones which are in two times now!