small changes to simulation, more realistic
back up derivation of Hi dist with simulation, numerator first
updates, show projections are idempotent