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