unreachables validation