Correspondence and Specifications and conditions of extension