4 ms·It has been proven to have certain properties, not to be "correct".by sel4throwaway 15y agoIt has been proven to have certain properties, not to be "correct".