Inspired by
Isabelleappleid's
Shuffle