The past is a ghost that won’t stop haunting you.
The night is a great mirror, but the stars are its reflections.
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.