3 ms·I expect they aren't, not all of them. Rather they are good at proving things.by MichaelCrawford 11y agoI expect they aren't, not all of them. Rather they are good at proving things.