because it's easier to reason about