add procedure no-more?, first-denomination, and except-first-denomination