Function logic 

pub fn logic(
    and: bool,
    a: Truth,
    b: Truth,
    budget: &mut Budget,
) -> OpResult<Value>

Compose independent boolean recipes. Bound facts retain their identity.