3 ms·Not everything. Formal methods research, for example, is not cat-and-mouse.by wyager 5y agoNot everything. Formal methods research, for example, is not cat-and-mouse.