Ltl UI , I * UI^