li n t:r t & k:rfl