Logica aritmetica, Super IQ