Ideal reasoners' beliefs tracking logical facts under all possible interventions satisfies intervent...
This proposition has not been edited since the history system was added.