   holes: []
 
   constructor: (@agda) ->
+    console.log 'INIT HOLEMANAGER'
     @destroyHoles()
     @expandBoundaries()
 


  destroyHoles: =>
    # first, destroy all Holes
    @holes.forEach (hole) => hole.emit 'destroyed'
    # second, destroy wandering markers
    markers = @agda.editor.findMarkers type: 'hole'
    markers.map (marker) => marker.destroy()

      @agda.executable.agda.stdin.write command

    else
      console.log goals
      console.log 'not in any goal'

  giveHandler: (index) ->
