The polynomial/exponential boundary in complexity theory is a formal, machine-model-relative result ...