More formally, we consider a system whose dynamics is