See ABED-NEGO.