absolute beginner wrote:....I think, I should change my nick), because my implementation of Eppstein's gadgets driving me to madness!
You are absolutely right. With a long strong inference chain like that, no one can believe that you are a beginner.
BTW, Eppstein's gadgets has been extended to b/b plot and nice loops with mixed bilocation and bivalue deductions. During the development, the term 'repetitive' and 'non-repetitive' were replaced by 'discontinuous' and 'continuous' respectively otherwise an additional deduction mode (Theorem 5) for mixed inference loops would be contradicted.
