Title: Justice Between Simplification and Formalism