public string GetPrefix(Proposition p) => p.Prefix();