Re: [math-fun] Proofs that computers cannot have a sense of humour