x1 is affine logic, used to deduce/infer x2 (du'u)
Linear logic (xaklogji) with weakening. (Here, you are xaksu zifre: you don't *have* to "use up" propositions, you are allowed to just get rid of them. But you still can't duplicate them.) See also fadylogji, zbalogji, ra'arlogji.