adding state constraint