First Steps in Proven Geometry by David Mitchell - undifferentiated, Ernst Schuberth, Nina Kuettel | Lex | Lex