K <,0 (9@ <,0>