The claim that all agents have perceptible bodies is itself derived inductively from observed agents...
This proposition has not been edited since the history system was added.