SMS: Formal ethics/