The exact symbolic certificate and equality witness are machine-readable.
