abc x def