b<as;
a
au:K:<a