Abstract formula operate
Improve formula and add spec