FootNote

In fact the above formalisation of intentional reducibility is still too weak - there might be an algorithmic way to find a particular program (to reduce the pair) but no systematic way to find this algorithm (and maybe no systematic way to find the systematic way to find the algorithm etc.). Thus further constraints could be added to make the formalisation more credible. We have not needed these here.