Def/Linearly independent