Talk:Courcelle's theorem