phase2 now works for Irving's main example