Debentures issued at a price above the nominal value are said to be issued