I will  have to look at your paper, thanks. The procedure you describe, however, doesn't actually solve the problem: it maps out possible languages, which is useful, but doesn't actually allow intelligibility to be used to give answers to the question: are A and B varieties of the same language. <br>