K { 0 |.