procedure shuffle(A)
    every !A :=: ?A
end