Verify an argument. Or a function.

A single fact is easy. The engine also checks a chain of reasoning — step by step, each built on the last — and tells you exactly where it breaks. Or it runs your code against test cases. Deterministic, sealed, re-checkable. No model in the loop.