Text this: Formal ethics