Document undefined case