Minor details
- Decorated array using `\ccases`