three points on formal verification in ethereum core development: 1. there is real work today that is at risk 2. FV is not a silver bullet 3. you still need to pay people to manage this transition, make choices about features to FV(trent.eth)