% References cited in https://agora.t9k.dev/t/318/independence-of-the-separable-quotient-problem