start on curvature identities