Methodology

Transparent matching, stated limits.

We explain what the tool does, what it does not do, and how to verify a result.