@misc{indiciae57c377210dc0, title = {Modern Set}, author = {Jun Tanaka}, year = {2008}, url = {https://arxiv.org/abs/0806.2943}, note = {Source identifier: 0806.2943} }