Redirecting to Kraft's inequality