formal Patterns