hyperarithmetic view 2