A neurocomputational theory of nightmares: the role of formal properties of nightmare images. Issue 1 (17th June 2021)