:kind [a]