 It is important to note (following Szabó (2000) and Ludlow and Segal (2004) that even with a fully functional account of quantifier domain restriction there is a lingering problem here too. Let’s call it the residue of the incompleteness problem. Consider cases like (38)