Title: Card grinding in theory and practice