Add specification to UserInterface.