Completion and Dignity Invariants

Consider supporting the work.