alldef