Capturing Bp→BBp requires encoding *which facts make introspection true*, not merely the structure o...
This proposition has not been edited since the history system was added.