exp constraints