Logic and the Art of Memory: The Quest for a Universal Language