Re: [math-fun] Christian Boyer?