An input-to-state stability theory, which subsumes results of circle criterion type, is developed in the context of discrete-time Lur'e systems. The approach developed is inspired by the complexified Aizerman conjecture.