FootNote
In my view this will remain an open question because the definition of reducibility chosen is inappropriate. For details of this argument see
[1]
.