The Runtime Theory