-- RmProof and AddProof not supported!
idemodeProcess fn (ShowProof n') = process fn (ShowProof n')
idemodeProcess fn (ShowProof n') = process fn (ShowProof n')
idemodeProcess fn (ShowProof n') = process fn (ShowProof n')