Text this: Logics of left variable inclusion and Płonka sums of matrices.