How to express this system for ethically aligned AGI as a Mathematical formula? — LessWrong