I checked 18 claims in my own spec. Five were false, and one tag byte was responsible for one of them.

Automated excerpt

I built something that reads each claim, resolves the terms against the actual definitions, and returns valid, invalid or unknown. Every invalid one was the same mistake in a different costume: a precise word used at the strength of its vague synonym. Contradictions inside one document are found by evaluation, never by reading.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.