Simpler example
Consistency