PLLでも話はあったと思いますが、使っている証明ができないのでどうにもならないのでは。