Улучшенное считывание, переход к переменным, теоретические точки