^{<dfn date-time="PrHR5"></dfn>}