class AuthenticatedElement implements Addable<AuthenticatedElement> {

  @Override
  public AuthenticatedElement add(AuthenticatedElement other) {
    return new AuthenticatedElement(share.add(other.share), mac.add(other.mac));
  }

  public  AuthenticatedElement(FieldElement share, FieldElement mac);

}