Since this logical constraint is not empirical but formal, no future reformulation escapes it withou...