ああそうか
検証可能な形にできない≠正しくない
と主張することで延命？するのかも？
一般にはそれはライブラリが不完全だってことだけどね