Kalman–Yakubovich–Popov_lemma loading ...