export function BoolText(p: {
  val: boolean;
  positive: string;
  negative: string;
}): React.ReactElement {
  return p.val ? (
    <span style={{ color: "green" }}>{p.positive}</span>
  ) : (
    <span style={{ color: "red" }}>{p.negative}</span>
  );
}