focc-pure-def.opp.exp 1.58 KB