2 ms·The important word is "just", when X facilitates formal verification by a considerable margin.by weinzierl 2y agoThe important word is "just", when X facilitates formal verification by a considerable margin.