Trees, maps and theorems: Effective communication for rational minds