Formula refresh

These four tools are used on every later page.