k * ( 0 ^tv ,^