Refactor cross-check; 

there is a bug somewhere that leads to wrong conclusion being drawn;
requires more debugging.