Text this: Pyrrolidine synthesis via ring contraction of pyridines