Talk:Beth definability