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