Correspondence and specifications