Rewrite User Interface Specification