HML-8: Set Theory