s/interval/constraint/