!7

p-substance {
  JButton b = jbutton("Yo");
  showFrame(b);
  renameButton(b, "Ho");
}