Function and 

pub fn and(a: Likeliness, b: Likeliness) -> Likeliness

Conjunction — the meet (weakest link): a claim resting on both a and b is no more expected than its least-expected part.