3 ms·Thanks so much for the reference, it's great to see someone expressed this much more rigorously.by simonh 5y agoThanks so much for the reference, it's great to see someone expressed this much more rigorously.