Ex proof analyzers