https://123dok.org/document/nzw9wvgy-a-semantic-account-of-rigorous-simulation.html