richardm wrote:Thanks for the info, I didn'r realise that the technique I used was known as a forcing net. The logic is absolutely water-tight and from a strict mathematical stance using "if x; if ¬x" logic is what's necessary to prove the x-wing dispite wrapping the proof in language that appears not to do so. So I don't see how forcing net can seriously be regarded as invalid. But I guess there nothing wrong with adding additional constraints to the puzzle.
If you'd read my reply carefully you'd have realised that I never regarded your method as "invalid"... In fact I agreed very much it's logically water-tight and that's why I described the move using our conventional "lingo" to demonstrate it's validity to anybody who didn't follow it (in case)...
I just wanted to state the fact that some people might not like to use moves like this because they sort of feel like trial and error... It's just a matter of personal preferences, irrelevant to the logical validity of the move (because trial and error is definitely one of the logically valid ways to solve a puzzle)...
richardm wrote:Since we've debated this recently there's no need to repond further on this point.
I don't see it as a debate and I'm not participating in any argument anyway (i.e. not convincing other people which way is better)... Just want to clarify my point...