Computable for belief_at updated