Backup just for safety: we are maybe halfway to the fully deterministic
version of the model