$tol); return $p; } }