Vi tar en oppsummering av alle regnereglene vi har ført bevis for hittil.