If alternative computational substrates (e.g., analog or quantum systems) collapse P and NP, SAT's '...