Finished Inductive IPF
Workable version of to string.