A19 Consistency check (examples)