Consistency is hard