jtrecenti add restriction phi < 1