Free logic, not an enriched first-order predicate, is the proper formal tool for handling non-referr...