postfunc in terms of another postfunc