We consider exact system identification in the behavioral setting: Given an (noise-free) finite time series, find set of bounded complexity linear time-invariant systems that fit data exactly. First, we modify notion most powerful unfalsified model for case by fixing number inputs and minimizing order. Then, give necessary sufficient identifiability conditions, i.e., conditions under which true...