3 ms·Note that the person you were responding to is John Tromp. :-)by lisper 4y agoNote that the person you were responding to is John Tromp. :-)