static void addStatementDialog() {
  final new JTextField textField;
  showFormTitled("Add statement",
    "", "New Statement:",
    "", textField,
    r {
      addToLogicList(trim(textField.getText()))
    });
}