Added submatrix constructor, without code :-)