and if that's not modeled exactly correctly, it can become confused and have indeterminate behavior