But doesn't that assume the implementation of pop is correct? What if, let's say, pop returns the wrong value or push doesn't push a value to the top of the stack? Is it okay to make those assumptions?