  We prove local and global invertibility of Sobolev solutions of certain
differential inclusions which prevent the differential matrix from having
negative eigenvalues. Our results are new even for quasiregular mappings in two
dimensions.
