: , ~::K ' Va ; riT * , ~::K 'Va