For clarity, rules involving diagonal neighbors or squares more than one step away are never used.
The similar solution "Each square can be deduced from its neighbors vs. not so" does not quite work; for example EX8114 would then not fit left. See also BP1258 ("Each square can be deduced from the rest vs. not so").