pub type Cond = Condition;