Demote
Persist the proposition, but signal that the relation it asserts should be projected as a weaker predicate (toRelation) because its evidence did not clear the relation's floor. The proposition itself stays canonical and untouched — the consumer applies the relabel when it projects, so a cheap structural signal lands as the modest claim it actually supports.
Throws
if toRelation or reason is blank.