Donnellan's distinction/Kripke's test · Study