The original slide says leanMultisig: custom but I'm assuming this is the [leanMultisig/leanVM work here](https://github.com/leanEthereum/leanMultisig)