formality question

[cricketlover]

I am not sure if this is the right place to put this question. I have a
question about the formality tool from synopsis. If someone knows of a
better google group to post this message, please let me know.

The match and verify portion of formality's report sometimes reports
some "Unmatched unread points". Does anyone know what this means?

Thanks.