got rid of old attempt to prove swapUpToWorks, created new, far more promising attempt