Is there any way to avoid copy-paste here? If not, a side-comment that somehow textually links the two would be helpful.