Def proj