<p dir="ltr">19> #{ born := B } = Henry8.</p>
<p dir="ltr">should work</p>