If someone properly departs early on the 12th, what about stoning on the 13th?

Book of Hajj: Return to Mina, Stoning the Three Jamarahs, and Days of Tashriq

• He must return for the 13th stoning
• He does not perform the additional 13th stoning
• He repeats the first Jamarah
• He repeats the 10th stoning