B1 arguments rely on modal claims (possibility, necessity) that require truthmakers to avoid vacuity...
This proposition has not been edited since the history system was added.