Talk:Fagin's theorem