!7

cmodule PatternMaker {
  S examplesText, counterexamplesText;
  
  visual
    jhgrid(
      jCenteredSection("Examples", dm_textArea examplesText()),
      jCenteredSection("Counterexamples", dm_textArea counterexamplesText()));
}