Talk:Toom/@comment-31663093-20191202005940

We don't need to know that.