fixed abstract contract formula namespace

fixed abstract contract formula namespace #673