Talk:Language-independent specification