<keyword>letin</keyword>
<keyword>normalize</keyword>
<keyword>reduce</keyword>
<keyword>reflexivity</keyword>
<keyword>replace</keyword>
<keyword>rewrite</keyword>
<keyword>letin</keyword>
<keyword>normalize</keyword>
<keyword>reduce</keyword>
<keyword>reflexivity</keyword>
<keyword>replace</keyword>
<keyword>rewrite</keyword>