I definitely would! One thing a lot of people miss in these discussions is that this isn't an either-or, and we should be using multiple different correctness t

I definitely would! One thing a lot of people miss in these discussions is that this isn't an either-or, and we should be using multiple different correctness techniques to increase our confidence.