Finite Factored Sets: Inferring Time — AI Alignment Forum