hyperarithmetic view 3