Def/Injective 1