Find!
x1=f1=t3 is the expiration / end of lifetime of x2=f2 with lifetime x3=t1 from x4=t2 to x1; x1 expires; x2 has a lifetime (possibly infinite).