Rewrite Widget Test – Formal