Hmm, or maybe not since `ch` is provided to us...