Recursive Patterns

Are we happy?