... (a1,b1,c1,d1), (a 2 ,b 2 ,c 2 ,d 2 ) of four-fold tables:a 2 ≥ a1,b 2 ≤ b1,c 2 ≤ c1,d 2 ≥ d1 and TrQ(a1,b1,c1,d1)=1 implies TrQ(a 2 ,b 2 ,c 2 ,d 2 )=1.In other words: ... ifψ1¬ψ1ϕ1a1b1¬ϕ1c1d1ψ 2 ¬ψ 2 ϕ 2 a 2 b 2 ¬ϕ 2 c 2 d 2 are four-fold tables of the pairs (ϕ1,ψ1), (ϕ 2 ,ψ 2 ) of open formulas in given data, if(Qx)(ϕ1,ψ1) is true in the data and the above ... hold (a 2 ≥a1,b 2 ≤b1,c 2 ≤c1,d 2 ≥d1), then (Qx)(ϕ 2 ,ψ 2 ) is also true. The second table has more coincidences (a 2 ≥a1,d 2 ≥d1) and less differences (b 2 ≤ b1,c 2 ≤ c1).A...