Application of native chemical ligation logic to the case of an N-terminal proline is described. Two approaches were studied. One involved incorporation of a 3R-substituted thiyl-proline derivative. Improved results were obtained from a 3R-substituted selenol function, incorporated in the context of an oxidized dimer.