Upgrade to Dörthe's list equality solution.