¬
MagicalTypeTricks
∪
MagicalTypeTricks