Petersen ridge loop