migrated-retraction-both-revision-paths-preserve-system-invariants-j0

IN premise

Created 2026-07-08T21:29:57+00:00

Invalid: over-generalizes from 2 specific properties to all system invariants (defeats both-revision-paths-preserve-system-invariants justification 0)

Dependents

These beliefs depend on this one: