Notable Formal Design