Add a couple of clarifying asserts