Dependent Names with a Little Encouragement