Email Record: Analysis of the WIA substate allocation formulas :