Re: [math-fun] The mango lassi problem (and meta-problem)