Just a little more progress on the Uncertain C