**Definition**. Let us call $n\times n$ matrix with non-negative entries *good* if sum of every row and column is equal to $1/n$.

Suppose we have a good matrix $A$. Let us consider the following strange "lift and project" procedure. Let us consider $n \times n$ "matrix" $M$. I put "matrix" in quotes, because $M_{ij}$ is not a number - it is $n \times n$ matrix itself (again, with non-negative entries). We require the following conditions:

- $\sum_{i,j} M_{ij} = A$
- For every $i$ $\mathrm{rk}(\sum_j M_{ij}) = 1$
- For every $j$ $\mathrm{rk}(\sum_i M_{ij}) = 1$
- Let us define another matrix $B$. $B_{ij}$ is equal to the sum of all entries of $M_{ij}$. We require that $B$ is good.

I wonder if it is possible to characterize matrices $B$ that could be obtained via this procedure.

The original motivation is conditional independence of random variables.