Funklara.tex: restored == (Prov)^(-1)