+ knownNoHiddenSingles logic