normal form func