added boolean constraint