short-handed equal true constraint