Validated Use Cases

Exploring our verified implementations.