DOTは寝ていないことを証明しようとしている