Attached the add() method to the add premise box()

Click the "Add a premise box" to see it in action.