Proof: polymorphic serialization
Proof::ToString()