TEMP: almost done with ifp solutions. Found bug in coleman operator