. . "If M is a matrix, return M; otherwise, signal an error." . .