https://github.com/IntersectMBO/plutus/commit/00beff4c8be236fa39123afd956abd910a2bbb50