Thanks for the suggestion, my intention was the generalise the concept from the previous sentence to motivate the eta-quality law, since the preceeding sentence reads:

Applying each destructor and reassembling the results with the
constructor is the identity over products:

In the spirit of providing more clarity, what about this:

In the general sense, with a record, apply the projections to all fields, and then apply the record constructor; the result is the original record.

Thanks for the suggestion, my intention was the generalise the concept from the previous sentence to motivate the eta-quality law, since the preceeding sentence reads:

Applying each destructor and reassembling the results with the
constructor is the identity over products:

In the spirit of providing more clarity, what about this:

In the general sense, with a record, apply the projections to all fields, and then apply the record constructor; the result is the original record.

"For any record, projecting out each field and reassembling the results using the constructor should be the identity."

Maybe followed by (except using more appropriate unicode):

c (p1 r) ... (pN r) = r