Using the universal prior for logical uncertainty — AI Alignment Forum