checkConsistency Example
Tails
Submit