I don't understand what the error message means. Could you reword perhaps? It looks like there's some unwritten invariant that's being assumed here. If so, it needs to be spelled out as a note.