∞⟨X∴↯⟩∞ Coin ((X∴↯)) - Pump
∞⟨X∴↯⟩∞ Coin ((X∴↯)) - Pump