³This is what Algorithm P₂ does.