x ^ ( 9 .)