Socratic proofs in correspondence analysis frameworkдоклад на конференции