hydra
→
Core
→
Pro
→
Views
hydra as folk-physics
for
Banach-Tarski you have to observe the termination into stillness to prevent it from forking into *was* and *was not*