Use Eigen3 of System instead