Talk:Bernays–Schönfinkel class