Consistency: errors can be of any type everywhere