Cyclic and Lasso Peptides: Sequence Determination, Topology Analysis, and Rotaxane Formation. (27th April 2018)