Formulae

This is a much better way of handling the resources, especially as we
potentially make the two THEOS’ more resource heavy over time.