Macro assume 

macro_rules! assume {
    ($formula:expr) => { ... };
}