( V A U U a AU A .1 ^ ||