!7

!include #1007303 // CirclesAndLines

p-pretty {
  final new CirclesAndLines cal;
  Circle a = cal.addCircle(#1007291, 1/3.0, 0.25, "DONALD");
  Circle b = cal.addCircle(#1007292, 2/3.0, 0.25, "BOMBS");
  Circle c = cal.addCircle(#1007314, 1/3.0, 0.75, "GOOD");
  Circle d = cal.addCircle(#1007319, 2/3.0, 0.75, "BAD");
  cal.addArrow(a, b, "MAKES");
  cal.addArrow(b, d, "ARE");
  cal.addArrow(a, d, "IS").setColor(Color.lightGray);
  cal.showAsFrame();
}

Began life as a copy of #1007310