Symmetry-protected topological phases, generalized Laughlin argument, and orientifolds | Synapse