assume no inf counter