Added implies for the domain of constants