For any set $X$ we set $[X]^2 = \big\{\{x,y\}: x,y \in X, x\neq y\big\}$.

Consider the following statement (S):

**Statement (S)** : Let $G=(V,E)$ be a finite undirected graph and $V_1, \ldots, V_n\subseteq V$ with the following properties:

- $V = V_1\cup\ldots\cup V_n$,
- $E \subseteq [V_1]^2 \cup \ldots \cup [V_n]^2$, that is every member of $E$ is "inside" some $V_i$,
- for $i\in\{1,\ldots,n\}$ we have $\chi(G_i) = n$ where $G_i = (V_i, E\cap [V_i]^2)$, and
- for $i\neq j\in\{1,\ldots,n\}$ we have $[V_i]^2\cap [V_j]^2 \cap E = \emptyset$, that is, $V_i$ and $V_j$ share no common edge.

**Then** we have $\chi(G) = n$.

(Statement (S) ends here.)

**Questions.**

- Is (S) provably false?
- If not, does the Erdös-Faber-Lovasz conjecture (EFL) imply (S)? Note that clearly (S) is a (possibly false) statement implying (EFL).