formula implement