4 ms·It is in the general case, but most cases are decidable, so it's still a useful feature.by lucian1900 14y agoIt is in the general case, but most cases are decidable, so it's still a useful feature.