3 ms·I agree, but what’s the relevance of this to my comment?by antidesitter 7y agoI agree, but what’s the relevance of this to my comment?