Redirecting to Gauss–Codazzi equations