Talk:McNaughton's theorem