Moved tentative prolongation to its own header