class AuthenticatedElement implements Addable<AuthenticatedElement> {

  @Override
  public String toString() {
    return "AuthenticatedElement ["
        + "share=" + share
        + ", mac=" + mac
        + ']';
  }

  public  AuthenticatedElement(FieldElement share, FieldElement mac);

}