Will_Newsome comments on A model of UDT with a concrete prior over logical statements