focc-pure-def.opp.exp 1.97 KB