Remove duplicate \indexsee{universal!quantifier}{quantifier, universal}.