Checking Int.o A^:thena