<?xml version="1.0"?>
<proof mode="standard" version="1.0">
 <goals>
  <goal t="J(f)"/>
  <goal t="f = r"/>
 </goals>
 <premises>
  <entry n="1" t="t = f"/>
  <entry n="2" t="J(t)"/>
  <entry n="3" t="t = r"/>
 </premises>
 <conclusions>
  <entry n="4" l="26" r="1,2" d="0" t="J(f)"/>
  <entry n="5" l="26" r="1,3" d="0" t="f = r"/>
 </conclusions>
</proof>
