@katstuff2 I think "counting" is an inference that lines equal to the sum of hint numbers and other necessary bulbs, so this logic isn't counting for me.
@katstuff2 That's right.
In fact, most of the logic we give special names to can be explained by counting or its underlying principle.
The logic shown in the image is an exception.