Sancte Petrus, Sancte Petrus and Micelon