ProofG#6104 - Characters