I'm at least half certain that I've already proved that Lambda is an alt of Truth, but hey it's gonna turn into a whole thing.