External_consistency