How Andy could prove his two customers got the same amount of lemonade