Using the universal prior for logical uncertainty

Link post