  In the context of gauge theories, observable quantities, if properly defined
and computed, do not depend on the gauge-fixing procedure. In this paper, we
develop a formalism that implements this (apparent) tautology in the case of
inflation. As a simple application, we discuss Coleman-Weinberg "hilltop"
inflation.
