ないことを想定する必要はない