added annotated formulae