rename serf formula to serfdom to avoid naming conflict