“…with 1 ≤ p ≤ q ≤ np n−sp and s, τ ∈ (0, 1). The seminorm appearing on the RHS of (1.2) can be seen to be equivalent on Lipschitz domains to the usual seminorm in W s,p (Ω), that is, integrating over Ω × Ω (see [12, equation (13)]), but it can be strictly smaller than the usual seminorm for general John domains (see [13,Proposition 3.4]). Moreover, it is easy to see that, unlike the classical Poincaré inequality, the inequality holds for the class of Ahlfors n-regular domains, which is larger than that of the John domains, but if we turn to the inequality with the stronger seminorm, there are Ahlfors n-regular domains for which the inequality fails (see [13,Theorem 3.1]).…”