Links for formulaanalysis