Kauf's proto-language