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