Mazur 13 port: u_injective