<m:csymbol>proof</m:csymbol>
<xsl:apply-templates select="." mode="pure"/>
<!-- <xsl:apply-templates select="key('typeid',@id)" mode="pure"/> -->
<m:csymbol>proof</m:csymbol>
<xsl:apply-templates select="." mode="pure"/>
<!-- <xsl:apply-templates select="key('typeid',@id)" mode="pure"/> -->