Thank you. The determinant equation was the first thing I noticed... is that the adjoint? I also like the random $f:X \to X \cap W$ (using tex since I’m guessing you’ll know it), just below the cardinality equation, as though they are related in some way...