Talk:Gabbay's separation theorem