no se sabe si estos flags se llaman verificador y autoverificador o patrullero y autopatrullero, ya que el artículo Wikcionario:Verificador dice que...