r s ; t : k *i