This assertion is very unclear to me, what is it actually verifying? Can we hardcode the `expected` values?