moved details of correspondence properties to appendices.