NP-complete (current) Krysten Ritter International auxiliary language Dolph Camilli Polywell British intelligence agencies Jane Foster (Marvel Cinematic Universe) Luna 30 Sarah Spiegel (biologist) The Adventures of Sherlock Holmes