A mapping that presupposes what it is meant to ground cannot count as a truth-preserving reduction w...