add conclusion and helper formulae