20 choose 12 = 20 choose 8