Butterfly Explanation 2 (WARNING, UNNECESSARILY COMPLICATED)
· Section: Box Logic
Explanation
Found by: 84436
The red cells contain one mine
The orange cells contain one mine
The black box contains 2 total mines
One of these goes into the yellow cells
The other goes into the lime cells
The green cells contain one mine
The cyan cells contain two mines.
The grey box contains 3 total mines
One of these is in the lime cells
The two other mines go into the blue cells.
The purple cells contain one mine
The pink cells contain one mine
The white box contains 2 total mines
One of these is in the blue cells
The other goes into the brown cells
The 5 sees the brown cells, so the red crossed cell is a mine.
Box Logic Summary
One surprisingly easy way to look for box logic in complicated positions is just by looking for a 2x2, and checking the surrounding cells for a potential finned box. Great examples of these are the 20 Mutated Box and this:
Can you find three safe cells?
Notice the 2x2 in the center? Try to figure out if you can apply box logic to it, also do not forget to look for fins, this 2x2 has two potential fins.
I was gonna turn the “Higher Complexity” section into logic that utilizes special regions or splitting regions. Currently all of them are just special/output regions (aka box logic), some more interesting like the mutated and joined boxes, but still the same thing. You could call this entire section the box logic section, but hopefully this is wrong, and there is other curious logic like it, that is not considered to be a box.
Boxes use 4 regions, 3 known, and 1 “unknown” that can be figured out using the other 3 regions. The unknown region is sometimes referred to as the output region
Joined Box
A joined box is basically a pattern where one box’s output region is used as an input for another box, which gives another output region. Currently only two samples have been listed, and both of them are just two boxes creating this chain. The main type of box I am hunting for is a multi- joined box (three+ boxes), or some wacky single joined box, I think that these are by far the most interesting types of box logic.
Additional images

