Specifications and correspondence