Skeleton of Rafael's algorithm