https://123dok.net/document/7q0d2g3z-the-energetic-reasoning-checker-revisited.html