If the logical capture of NP is sensitive to how inputs are encoded as structures, then SO-exists do...