Resolution's complexity profile is a property of the formalism, not of the underlying logical truths...