')
      })

      both.addEventListener('mousedown', function() {
        both.classList.add('mousedown')
      })

      const mdown = document.getElementsByClassName('mdown')[0]

      mdown.addEventListener('mousedown', function() {
        mdown.classList.remove('clicked')
      })

      mdown.addEventListener('click', function() {
        mdown.classList.add('clicked')
      })

      const assertionSubmit = document.getElementsByClassName('assertion-submit')[0]

      assertionSubmit.addEventListene