finished unoptimized recursive tautology check