x
An Axiom to combine ethics and logic : to make AIs evil proof — LessWrong