Lars Leonhard and Roman Ridder – Monomorphism