  We give an alternative proof of PreciseQMA = PSPACE, first proved by
Fefferman and Lin (Innov. Theor. Comp. Sci. 2018), where PreciseQMA is the
class Quantum Merlin-Arthur with inverse exponential completeness-soundness
gap. We adapt the proof of Quantum Cook-Levin Theorem to prove the inclusion
PSPACE in PreciseQMA.
