∅→ { } → {{∅}}→∅ (∅∅∅) - Pump
∅→ { } → {{∅}}→∅ (∅∅∅) - Pump