1) Change VerifierPane ui, add a console textarea whose only last line could be edited 2)Can invoke beagle to verify and show verification results