It doesn't change the logic of the proof much, but I just want to be very careful that we're not multiplying the submatrices because that becomes a fairly complicated operation. Well, it's not that bad.