Post: What is a Super Heinz bet?