At least we have established that [@Mahz]'s dice have as much a sense of humor as real dice, [@VKAllen].