Inspired by
isabelle stack's
Shuffle