Re: [math-fun] Re Iterated averaging of triples