Conveying individual source sequences over memoryless channels using finite-state decoders with source side information.