flip = {1,...,20} Heads(flip)