The theorem proved and the question not yet decided

The object of this paper is a new application, not a reconstruction of incompletely supplied predecessor data. The latter distinction is necessary because the supplied passages separate internal kernel construction from the still missing joint characteristic operation Packet.

The symbols below have different roles:

The proved application has

Neither $f$ nor $g$ is a gravitational ramp.