7 ms·They may work as expected (and probably will), but they are not covered by the proof.by user2342 2y agoThey may work as expected (and probably will), but they are not covered by the proof.