Consistency is the KeY