Re: [math-fun] undecidability of morality