Talk:Two-variable logic