Added interface for formulae ready for switching implementations if we go native.