Added support for tautology detection.
Add docs, try out tautology-based filtering.