Macro prop::tauto

macro_rules! tauto {
    ($x:expr) => { ... };
}

Maps expression to tautology.