Written on the Wall II, Graph Conjecture 109
Must every connected graph satisfy the proposed upper bound on its independence number in terms of residue and largest induced-bipartite-subgraph order? The family $\overline{K}_{2r+1} \vee (K_r \sqcup K_r)$ violates it for every $r \ge 3$.