public bool Tinyield() { return(btA .GetLeavesQuery() .Zip(btB.GetLeavesQuery(), (t1, t2) => t1.CompareTo(t2) == 0) .AllMatch(TRUE.Equals)); }