causal claim
An implementation may satisfy every stated property yet fail to meet the user's intent when the specifications do not fully describe the desired behavior.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Otherwise, you can have implementation that satisfies all your properties, but you do not fully specify what you wanted. You, you're not really getting what you want.”1:21:05Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.99confidence the claim was read correctly