checking constraint