Added Theaetetus ref