True but for small models it's pretty close. See my comment below about other cases leading to nondeterminism.