Socratic ironies