Solution limits and assumptions - introduction is now possibly finished
Count to infinity measures explained in report.
Dist cannot be negative (because of overflows) anymore.