adddef