@hudsonjameson @Bonecondor @LouMannheim87 It was @dapphub - they did a lot of makerdao core dev among other things like formally verifying Uniswap v2 I think it was useful in maker - we used it later to simplify codebase in v2/v3 and now don’t use it in v4 to save gas WETH is immutable though, no multsig upgrades