Better defintion of tangent propagation