I think I have this one, but I want to make sure:
Using Van Kampen's theorem,
Find the fundamental group of two disjoint spheres with each north pole identified, and each south pole identified.
The open sets I chose are sphere 1 minus the north pole, sphere 2 minus the south pole. The intersection is nonempty with trivial fundamental group since poles are identified, so we get trivial*trivial=trivial. Correct?
Denote the two spheres by $S_1,S_2$. Let $$A_i=S_i\cap\{(x,y,z)\mid y>-0.1\},\qquad B_i=S_i\cap\{(x,y,z)\mid y<0.1\}\\ A=(A_1\sqcup A_2)/\sim,\qquad B=(B_1\sqcup B_2)/\sim$$ $A, B$ are subspaces of $X$, and their intersection is homotopy equivalent to a $$\Huge\Bbb O$$ Let us denote the four edges pointing downwards by $a,b,c,d$ left to right. Then $\pi_1(\Bbb O,N)$ is generated by $b^{-1}a,\ c^{-1}b,\ d^{-1}c$.
Let $γ_A,γ_B$ denote the class of $c^{-1}b$ in $\pi_1(A,N),π_1(B,N)$ respectively.
$A$ and $B$ can be thought of each as two disks with their north poles glued together and their south poles glued together. The fundamental group $π_1(A,N)$ is generated by $γ_A$, and $π_1(B,N)$ is generated by $γ_B$
Applying van Kampen we see that $π_1(X,N)$ is the free product $\pi_1(A,N)*\pi_1(B,N)$ modulo the smallest normal subgroup containing $γ_A^{-1}γ_B$. $$π_1(X,N) = \langle γ_A,γ_B \mid γ_A^{-1}γ_B \rangle \cong \Bbb Z$$
In order to see that $⟨a,b ∣ a^{−1}b⟩\cong \Bbb Z$, we consider the homomorphism $$\phi: ⟨a,b⟩ \to \Bbb Z,\quad a,b\mapsto 1$$ So $ϕ$ sends a word to the sum of the exponents appearing in it. Since $ϕ(a^{-1}b)=0$, the normal subgroup $N$ is in ker$(ϕ)$ and we have an induced morphism $\barϕ:⟨a,b ∣ a^{−1}b⟩\to \Bbb Z$. This $\barϕ$ is an isomorphisms if the kernel of $ϕ$ is precisely $N$. In practice this means we have to show that if some word represents $0$ in $\Bbb Z$, then it can be turned into the empty word by applying the relation $a=b$.