More or less completing his results from previous papers, the author shows that a discriminator variety \({\mathfrak M}\) which is not finitely generated but either has finite signature or has singleton subalgebras of all its algebras is universal for countable quasiordered sets S, i.e. S can be represented by countable \({\mathfrak M}\)-algebras and the quasiorder ``epic quotient''.