minor changes (bounds lazy eval state)