Find!
l2=k1 is trustworthy for l1 to bring about/ensure/maintain l3 under conditions k3
c.f. lacri, kakne.