Def/Finite 1