... We know from primitive tries that somebody ...
... somebody points out a small factual inaccuracy. ...