proper asymptotic unitary equivalence

We look for generalizations of the Brown--Douglas--Fillmore essential codimension result, leading to interesting local uniqueness theorems in $KK$-theory. We also study the structure of Paschke dual algebras.