Justice between Simplification and Formalism by Christoph Kern