likewise we could assert this in the code.