¹This is what Algorithm P₂ does.