removed unused formuae