could you add an explanation in these error cases? I'm puzzled, for sure it seems we take quite some assumptions on the underlying behaviour