public Config(ImpMethod Imp, ConnMethod And) { implication = Imp; andlogic = And; }
public Config(ImpMethod Imp, ConnMethod And) { _implication = Imp; _andlogic = And; }