Strengthen W.is_closed_correct.
We use the W
reification in some other projects, and the stronger version of is_closed_correct
is helpful there.
We use the W
reification in some other projects, and the stronger version of is_closed_correct
is helpful there.