apps: first 100 formulae annotated very conservatively