Basic utility functions for randomization in Scala
Axiomatic set theory, computerized
When you just have to implement everything