Explosion -- Temporal Logic Verification Using Simulation -- Undecidable Problems About