https://github.com/leanEthereum/leanSpec/pull/791
leanEthereum/leanSpec#791