See “Local” section in OTIS some other examples: ioi 2018 seats: rewriting a “global” condition as the union of several “local” conditions that operate on 2x2 subrectangles fragment