Added some explanation of the unfolding formulas