playful fun with how you might do binary encodings in set theory.