B"H explain unreachable error a bit more