Logic: added interface for models; models return a list of states (not a double array)