report
Account for a single known logical tautology