1. I am sure that Bob Hanson's solver does NOT do locked candidates type 2. It finds the eliminations by X-wings, strong chains or even "hypothesis and disproof", even though it claims to do so... is there any reason for this?
2. What exactly is "3D Medusa chain analysis"? I have read the explanations and don't really understand.