Preliminary verification functionality
Refined verification step. Also change output format.