Talking Dogs: Proof Dogs That Talk