Macro truth 

macro_rules! truth {
    ($f:expr; $c:expr) => { ... };
    ($f:expr; $c:expr; $a:expr) => { ... };
}

快捷构造宏