Some steps toward Human readable output of verifier.