I just noticed that the link for “reachability logic” [given in the main README][1] is broken. [1]: https://github.com/runtimeverification/verified-smart-contracts/blob/e61ef57de99d07d7182436490f152a14621c5a82/README.md?plain=1#L18