Proper names and the theory of N-movement in Syntax and logical form