<keyword>decompose</keyword>
<keyword>discriminate</keyword>
<keyword>elim</keyword>
<keyword>elimType</keyword>
<keyword>exact</keyword>
<keyword>exists</keyword>
<keyword>decompose</keyword>
<keyword>discriminate</keyword>
<keyword>elim</keyword>
<keyword>elimType</keyword>
<keyword>exact</keyword>
<keyword>exists</keyword>