There are a few potential subtleties in the derivation of the existence of Hawking radiation, which we are, for the time being, glossing over; see Section 5.1 for details.