* $x \ k AWatlui,