The inapplicability of Nec to formulas with free terms confuses the semantic role of free variables ...