Fix FORPI
Clean FORPILU

Added several comments for debugging, removed some dead code.
Remove TODO in FORPILU
Change FORPILU

Attempted bug fix; not done yet.
Add TODO
Change FORPILU

Fixed one bug, introduced another. One proof works, but the other
doesn't, need to get both to work.