on verifyDefs1(e)
        {
          var dc = document.getElementById("defscircle1");
          if (e.target === e.currentTarget &&   // Assertion: the target and currentTarget are the same
              e.target === dc)                  // Assertion: the target is the 'circle' element since we dispatched the event directly to it, not to an SVGElementInstance
          {
            dc.setAttribute("fill", "lime");
          }
        }
        
        // checks that event.target and event.currentTarget p