Redirecting to Craig interpolation