Before revision:  Our achievability analysis is based on resolving the identifiability problem in the context of a certain  countable-state controlled Markov process.
After revision:  Our achievability analysis is based on resolving the identifiability problem in the context of a certain lifted countable-state controlled Markov process.