Really Bad Math Kontracts — "RBMK reactors don't explode" - View it on GitHub