Aha, the goal of Dotty was to be faster, but it is not actually faster. Thanks for the history lesson!