I'm aware of temporal logic (besides temporal logic there's there's also temporal linear logic) I do find it to be more useful in certain situations, however yo

I'm aware of temporal logic (besides temporal logic there's there's also temporal linear logic) I do find it to be more useful in certain situations, however you do lose some generality and I really enjoy that generality. For example, idk if you could build a better borrow checker by using TLL rather than LL. At the same time, the second I said this I realized that Idk whether you could.