Prove Language Isolates