Function carry_evidence 

pub fn carry_evidence<V: TowerValue, U>(c: &Converging<U>, v: V) -> V

v carrying the evidence a provisional or settled answer c carries. An answer never holds another: when v carries evidence of its own, the two join into one (Converging::joined).