generalize: Rel=Exp[Bool]