Text this: Heterocycles from double-functionalized arenes :