Does it make sense to add an assertion that checks for this?