developing PostfixForm