public string GetInfix(Proposition p) => p.Infix();