3 ms·You need to stretch the definition of "almost" quite a bit in order to achieve that.by dependenttypes 6y agoYou need to stretch the definition of "almost" quite a bit in order to achieve that.