Focusing on tone, we explore this claim from a computational perspective using a precisely defined notion of locality.
we use quantifier-free (QF) first-order (FO) logical transductions, which have been shown (Chandlee and Lindell, in prep.)