Now the dynamics are called out as a separate constraint.
Separated, as with the KF.