Second Course in Topos Quantum Theory