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