descriptive claim

The Equational Theories project was not primarily intended to settle every implication among algebraic laws.

In their words

The transcript segments this claim was taken from

“By the end of March, they'd been stuck for several weeks on just four. But settling every implication had never really been the goal.”

0.90how strongly it was put, not whether it is true

0.70importance to the conversation

0.97confidence the claim was read correctly