inconsistent voters error function formal definitions