Done with verification, modified ChannelModel