Lots of writing on expelling FP not done yet
First version of explanation before FP