If relational quantification is reinterpreted as first-order quantification over set-theoretic proxi...