AI^{[ 4]}