diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -111,6 +111,7 @@
 * `ExplorersOfIxalanContest` handles some pretty weird damage
   interactions.
 * `UltimateMasters` shows how to track opponent actions.
+* `ChannelFireball` automatically calculates High Tide mana.
 
 ## Development
 
diff --git a/dovin.cabal b/dovin.cabal
--- a/dovin.cabal
+++ b/dovin.cabal
@@ -4,12 +4,12 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 64287929507673044e7103b8e99c63a3a57295a03eadbdd2273ea38a6655949d
+-- hash: 23abec652853b2a8c66c2399750bd96d11e7232610506070a3b870a252bee00d
 
 name:           dovin
-version:        0.1.0.0
+version:        0.1.0.1
 synopsis:       A proof assistant for Magic: The Gathering puzzles.
-description:    Please see the README on GitHub at <https://github.com/githubuser/dovin#readme>
+description:    Please see the README on GitHub at <https://github.com/xaviershay/dovin#dovin>
 category:       Games
 homepage:       https://github.com/xaviershay/dovin#readme
 bug-reports:    https://github.com/xaviershay/dovin/issues
@@ -49,7 +49,7 @@
       Dovin.V2
       Lib
       Solutions
-      Solutions.Channel
+      Solutions.ChannelFireball
       Solutions.Core19_9
       Solutions.Dominaria5
       Solutions.Example
diff --git a/src/Solutions.hs b/src/Solutions.hs
--- a/src/Solutions.hs
+++ b/src/Solutions.hs
@@ -1,5 +1,5 @@
 module Solutions where
-import qualified Solutions.Channel
+import qualified Solutions.ChannelFireball
 import qualified Solutions.Core19_9
 import qualified Solutions.Dominaria5
 import qualified Solutions.Example
@@ -13,7 +13,7 @@
 import qualified Solutions.UltimateMasters
 
 all = [
-  ("Channel", Solutions.Channel.solution, Solutions.Channel.formatter),
+  ("ChannelFireball", Solutions.ChannelFireball.solution, Solutions.ChannelFireball.formatter),
   ("Core19_9", Solutions.Core19_9.solution, Solutions.Core19_9.formatter),
   ("Dominaria5", Solutions.Dominaria5.solution, Solutions.Dominaria5.formatter),
   ("Example", Solutions.Example.solution, Solutions.Example.formatter),
diff --git a/src/Solutions/Channel.hs b/src/Solutions/Channel.hs
deleted file mode 100644
--- a/src/Solutions/Channel.hs
+++ /dev/null
@@ -1,355 +0,0 @@
-module Solutions.Channel where
-
-import Dovin.V2
-import Dovin.Prelude
-
-import Data.List (delete)
-import Control.Lens
-import Debug.Trace
-
-solution :: GameMonad ()
-solution = do
-  step "Initial state" $ do
-    setLife Active 1
-
-    withLocation Play $ do
-      addLands 4 "Steam Vents"
-      addLands 4 "Breeding Pool"
-      addArtifact "Aetherflux Reservoir"
-      addCreature (2, 2) "Beamsplitter Mage"
-      addCreature (2, 2) "Man-o'-War"
-
-    withLocation Hand $ do
-      addInstant "High Tide"
-      addInstant "Snap"
-      addInstant "Rewind"
-      addSorcery "Baral's Expertise"
-      addSorcery "Channel"
-      addSorcery "Fireball"
-      withAttribute flash $ addCreature (2, 1) "Snapcaster Mage"
-      addCreature (0, 0) "Walking Ballista"
-
-  step "Cast High Tide with a Steam Vents" $ do
-    tapForManaWithTide "U" "Steam Vents 1"
-    withTriggers (cast "U") "High Tide"
-    resolveAetherflux 1
-    resolve "High Tide"
-
-    modifying
-      highTideCounter
-      (+ 1)
-
-  step "Cast Snapcaster, targeting High Tide, with second Steam Vents" $ do
-    tapForManaWithTide "U" "Steam Vents 2"
-    withTriggers (cast "1U") "Snapcaster Mage"
-
-    resolveAetherflux 2
-    resolve "Snapcaster Mage"
-    targetInLocation (Active, Graveyard) "High Tide"
-    gainAttribute snapped "High Tide"
-
-  step "Flashback High Tide with third Steam Vents" $ do
-    tapForManaWithTide "U" "Steam Vents 3"
-    withTriggers (flashbackSnapped "U") "High Tide"
-
-    resolveAetherflux 3
-    resolve "High Tide"
-
-    modifying
-      highTideCounter
-      (+ 1)
-
-  step "Tap five remaining lands for 3 mana each" $ do
-    tapForManaWithTide "R" "Steam Vents 4"
-    tapForManaWithTide "G" "Breeding Pool 1"
-    tapForManaWithTide "G" "Breeding Pool 2"
-    tapForManaWithTide "U" "Breeding Pool 3"
-    tapForManaWithTide "U" "Breeding Pool 4"
-
-  step "Cast Walking Ballista for 1, leave on stack" $ do
-    withTriggers (cast "") "Walking Ballista"
-
-  step "Stack Snap, targeting Beamsplitter then copying to Snapcaster" $ do
-    withTriggers (cast "1U") "Snap"
-    target "Beamsplitter Mage"
-    trigger "Copied Snap" "Beamsplitter Mage" >> resolveTop
-    copySpell "Snap" "Snap Copy (Snapcaster Mage)"
-    target "Snapcaster Mage"
-
-  step "Counter Walking Ballista with Rewind, untapping Steam Vents" $ do
-    withTriggers (cast "2UU") "Rewind"
-    counter "Walking Ballista"
-    resolveAetherflux 6
-    resolve "Rewind"
-    untap "Steam Vents 1"
-    untap "Steam Vents 2"
-    untap "Steam Vents 3"
-    untap "Steam Vents 4"
-
-  step "Resolve Snap copy, returning Snapcaster, untapping Breeding Pools" $ do
-    resolve "Snap Copy (Snapcaster Mage)"
-
-    move (Active, Play) (Active, Hand) "Snapcaster Mage"
-    untap "Breeding Pool 1"
-    untap "Breeding Pool 2"
-
-  step "Resolve Snap, returning Beamsplitter, untapping Breeding Pools" $ do
-    resolveAetherflux 5
-    resolve "Snap"
-    move (Active, Play) (Active, Hand) "Beamsplitter Mage"
-    untap "Breeding Pool 3"
-    untap "Breeding Pool 4"
-    resolveAetherflux 4
-
-  step "Recast Beamsplitter, stacking Snapcaster targeting Snap" $ do
-    withTriggers (cast "RU") "Beamsplitter Mage"
-    withTriggers (cast "1U") "Snapcaster Mage"
-
-    resolveAetherflux 8
-    resolve "Snapcaster Mage"
-    resolveAetherflux 7
-    resolve "Beamsplitter Mage"
-
-    targetInLocation (Active, Graveyard) "Snap"
-    gainAttribute snapped "Snap"
-
-  step "Tap all lands for 3 mana each" $ do
-    tapForManaWithTide "U" "Steam Vents 1"
-    tapForManaWithTide "U" "Steam Vents 2"
-    tapForManaWithTide "R" "Steam Vents 3"
-    tapForManaWithTide "R" "Steam Vents 4"
-    tapForManaWithTide "G" "Breeding Pool 1"
-    tapForManaWithTide "G" "Breeding Pool 2"
-    tapForManaWithTide "U" "Breeding Pool 3"
-    tapForManaWithTide "U" "Breeding Pool 4"
-
-  step "Stack flashbacked Snap, targeting Beamsplitter then copy to Snapcaster" $ do
-    withTriggers (flashbackSnapped "1U") "Snap"
-    target "Beamsplitter Mage"
-    trigger "Copied Snap" "Beamsplitter Mage" >> resolveTop
-    copySpell "Snap" "Snap Copy (Snapcaster Mage)"
-    target "Snapcaster Mage"
-
-  step "Resolve Snap copy, returning Snapcaster, untap Breeding Pools" $ do
-    resolve "Snap Copy (Snapcaster Mage)"
-
-    move (Active, Play) (Active, Hand) "Snapcaster Mage"
-    untap "Breeding Pool 1"
-    untap "Breeding Pool 2"
-
-  step "Replay Snapcaster, targeting Rewind" $ do
-    withTriggers (cast "1U") "Snapcaster Mage"
-    resolveAetherflux 10
-    resolve "Snapcaster Mage"
-    targetInLocation (Active, Graveyard) "Rewind"
-    gainAttribute snapped "Rewind"
-
-  step "Resolve Snap on Beamsplitter, untap Steam Vents" $ do
-    resolveAetherflux 9
-    resolve "Snap"
-    move (Active, Play) (Active, Hand) "Beamsplitter Mage"
-    untap "Steam Vents 3"
-    untap "Steam Vents 4"
-
-  step "Cast Baral's Expertise for all 3 in play, replaying Aetherflux for free" $ do
-    withTriggers (cast "3UU") "Baral's Expertise"
-    resolveAetherflux 11
-    resolve "Baral's Expertise"
-
-    move (Active, Play) (Active, Hand) "Aetherflux Reservoir"
-    move (Active, Play) (Active, Hand) "Man-o'-War"
-    move (Active, Play) (Active, Hand) "Snapcaster Mage"
-
-    withTriggers (cast "") "Aetherflux Reservoir"
-    resolve "Aetherflux Reservoir"
-
-  step "Cast Beamsplitter Mage, stacking Snapcaster targeting Baral's" $ do
-    withTriggers (cast "UR") "Beamsplitter Mage"
-    withTriggers (cast "1U") "Snapcaster Mage"
-    resolveAetherflux 14
-    resolve "Snapcaster Mage"
-    resolveAetherflux 13
-    resolve "Beamsplitter Mage"
-
-    targetInLocation (Active, Graveyard) "Baral's Expertise"
-    gainAttribute snapped "Baral's Expertise"
-
-  step "Flashback Baral's Expertise targeting all 3 in play, replaying Aetherflux" $ do
-    withTriggers (flashbackSnapped "3UU") "Baral's Expertise"
-    resolveAetherflux 15
-    resolve "Baral's Expertise"
-
-    move (Active, Play) (Active, Hand) "Aetherflux Reservoir"
-    move (Active, Play) (Active, Hand) "Beamsplitter Mage"
-    move (Active, Play) (Active, Hand) "Snapcaster Mage"
-
-    withTriggers (cast "") "Aetherflux Reservoir"
-    resolve "Aetherflux Reservoir"
-
-  step "Tap remaining lands for 3 mana each" $ do
-    tapForManaWithTide "G" "Breeding Pool 1"
-    tapForManaWithTide "G" "Breeding Pool 2"
-    tapForManaWithTide "R" "Steam Vents 3"
-    tapForManaWithTide "R" "Steam Vents 4"
-
-  step "Cast Channel and Fireball for life only" $ do
-    withTriggers (cast "GG") "Channel"
-    resolveAetherflux 17
-    resolve "Channel"
-
-    l <- (-) <$> countLife Active <*> pure 1
-
-    let payment = show l <> "R"
-
-    loseLife Active l
-    addMana $ show l
-
-    withTriggers (cast payment) "Fireball"
-    resolveAetherflux 18
-    resolve "Fireball"
-
-    damage (const l) (targetPlayer Opponent) "Fireball"
-
-  step "Cast Beamsplitter Mage, stacking Snapcaster targeting Fireball" $ do
-    withTriggers (cast "UR") "Beamsplitter Mage"
-    withTriggers (cast "1U") "Snapcaster Mage"
-    resolveAetherflux 20
-    resolve "Snapcaster Mage"
-    resolveAetherflux 19
-    resolve "Beamsplitter Mage"
-
-    targetInLocation (Active, Graveyard) "Fireball"
-    gainAttribute snapped "Fireball"
-
-  step "Cast Man-'o-War, returning Snapcaster Mage" $ do
-    withTriggers (cast "2U") "Man-o'-War"
-    resolveAetherflux 21
-    resolve "Man-o'-War"
-
-    target "Snapcaster Mage"
-    move (Active, Play) (Active, Hand) "Snapcaster Mage"
-
-  step "Cast Snapcaster, counter with flashback Rewind" $ do
-    withTriggers (cast "1U") "Snapcaster Mage"
-    withTriggers (flashbackSnapped "2UU") "Rewind"
-    resolveAetherflux 23
-    resolve "Rewind"
-    counter "Snapcaster Mage"
-    resolveAetherflux 22
-
-    untap "Breeding Pool 1"
-    untap "Breeding Pool 2"
-    untap "Steam Vents 3"
-    untap "Steam Vents 4"
-
-  step "Flashback Fireball with all remaining mana and life" $ do
-    tapForManaWithTide "U" "Breeding Pool 1"
-    tapForManaWithTide "U" "Breeding Pool 2"
-    tapForManaWithTide "R" "Steam Vents 3"
-    tapForManaWithTide "R" "Steam Vents 4"
-
-    life <- countLife Active
-    mana <- countManaPool Active
-    let dmg = (life - 1) + (mana - 1)
-    let payment = show dmg <> "R"
-
-    loseLife Active (life - 1)
-    addMana $ show (life - 1)
-
-    withTriggers (flashbackSnapped payment) "Fireball"
-    resolveAetherflux 24
-    resolve "Fireball"
-
-    damage (const life) (targetPlayer Opponent) "Fireball"
-
-attributes = attributeFormatter $ do
-  attribute "life" $ countLife Active
-  attribute "pool" $ countManaPool Active
-  attribute "spells" $ use spellCounter
-
-playExLandFormatter = cardFormatter "Play (ex. Land)"
-  (matchLocation (Active, Play) <> invert (matchAttribute land))
-formatter 1 = attributes <> boardFormatter
-formatter 3 = attributes
-  <> cardFormatter "Play" (matchLocation (Active, Play))
-  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
-formatter 6 = attributes <> stackFormatter
-formatter 7 = attributes <> stackFormatter
-formatter 8 = attributes <> stackFormatter
-  <> cardFormatter "Play" (matchLocation (Active, Play))
-formatter 9 = attributes <> stackFormatter
-formatter 10 = attributes <> stackFormatter
-  <> cardFormatter "Hand" (matchLocation (Active, Hand))
-  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
-formatter 11 = attributes
-  <> cardFormatter "Play" (matchLocation (Active, Play))
-  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
-formatter 13 = attributes <> stackFormatter
-formatter 14 = attributes <> stackFormatter
-  <> cardFormatter "Hand" (matchLocation (Active, Hand))
-  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
-formatter 15 = attributes <> stackFormatter
-  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
-formatter 16 = attributes
-  <> cardFormatter "Hand" (matchLocation (Active, Hand))
-  <> cardFormatter "Play" (matchLocation (Active, Play))
-formatter 17 = attributes
-  <> cardFormatter "Hand" (matchLocation (Active, Hand))
-  <> playExLandFormatter
-formatter 18 = attributes
-  <> playExLandFormatter
-  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
-formatter 19 = attributes
-  <> cardFormatter "Hand" (matchLocation (Active, Hand))
-  <> playExLandFormatter
-formatter 21 = attributeFormatter (attribute "opponent" $ countLife Opponent) <> attributes
-formatter 22 = attributes
-  <> cardFormatter "Hand" (matchLocation (Active, Hand))
-  <> playExLandFormatter
-  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
-formatter 23 = attributes
-  <> cardFormatter "Hand" (matchLocation (Active, Hand))
-  <> playExLandFormatter
-formatter 25 = attributeFormatter (attribute "opponent" $ countLife Opponent) <> attributes
-formatter _ = attributes
-
-spellCounter :: Lens' Board Int
-spellCounter = counters . at "spell-count" . non 0
-
-highTideCounter :: Lens' Board Int
-highTideCounter = counters . at "high-tide-count" . non 0
-
-aetherfluxTriggerName n = "Aetherflux Trigger #" <> show n
-snapped = "snapped"
-
--- Keeps track of number of spells cast, and if Aetherflux Reservoir is in play
--- triggers it.
-withTriggers fn name = do
-  fn name
-
-  modifying
-    spellCounter
-    (+ 1)
-
-  forCards
-    (matchInPlay <> matchName "Aetherflux Reservoir")
-    $ const $ do
-      x <- use spellCounter
-      trigger (aetherfluxTriggerName x) "Aetherflux Reservoir"
-
-tapForManaWithTide pool cn = do
-  tapForMana pool cn
-  x <- use highTideCounter
-
-  addMana (replicate x 'U')
-
-resolveAetherflux n = do
-  resolve $ aetherfluxTriggerName n
-
-  x <- use spellCounter
-  gainLife Active x
-
-flashbackSnapped mana castName = do
-  validate (matchAttribute snapped) castName
-  flashback mana castName
-
diff --git a/src/Solutions/ChannelFireball.hs b/src/Solutions/ChannelFireball.hs
new file mode 100644
--- /dev/null
+++ b/src/Solutions/ChannelFireball.hs
@@ -0,0 +1,355 @@
+module Solutions.ChannelFireball where
+
+import Dovin.V2
+import Dovin.Prelude
+
+import Data.List (delete)
+import Control.Lens
+import Debug.Trace
+
+solution :: GameMonad ()
+solution = do
+  step "Initial state" $ do
+    setLife Active 1
+
+    withLocation Play $ do
+      addLands 4 "Steam Vents"
+      addLands 4 "Breeding Pool"
+      addArtifact "Aetherflux Reservoir"
+      addCreature (2, 2) "Beamsplitter Mage"
+      addCreature (2, 2) "Man-o'-War"
+
+    withLocation Hand $ do
+      addInstant "High Tide"
+      addInstant "Snap"
+      addInstant "Rewind"
+      addSorcery "Baral's Expertise"
+      addSorcery "Channel"
+      addSorcery "Fireball"
+      withAttribute flash $ addCreature (2, 1) "Snapcaster Mage"
+      addCreature (0, 0) "Walking Ballista"
+
+  step "Cast High Tide with a Steam Vents" $ do
+    tapForManaWithTide "U" "Steam Vents 1"
+    withTriggers (cast "U") "High Tide"
+    resolveAetherflux 1
+    resolve "High Tide"
+
+    modifying
+      highTideCounter
+      (+ 1)
+
+  step "Cast Snapcaster, targeting High Tide, with second Steam Vents" $ do
+    tapForManaWithTide "U" "Steam Vents 2"
+    withTriggers (cast "1U") "Snapcaster Mage"
+
+    resolveAetherflux 2
+    resolve "Snapcaster Mage"
+    targetInLocation (Active, Graveyard) "High Tide"
+    gainAttribute snapped "High Tide"
+
+  step "Flashback High Tide with third Steam Vents" $ do
+    tapForManaWithTide "U" "Steam Vents 3"
+    withTriggers (flashbackSnapped "U") "High Tide"
+
+    resolveAetherflux 3
+    resolve "High Tide"
+
+    modifying
+      highTideCounter
+      (+ 1)
+
+  step "Tap five remaining lands for 3 mana each" $ do
+    tapForManaWithTide "R" "Steam Vents 4"
+    tapForManaWithTide "G" "Breeding Pool 1"
+    tapForManaWithTide "G" "Breeding Pool 2"
+    tapForManaWithTide "U" "Breeding Pool 3"
+    tapForManaWithTide "U" "Breeding Pool 4"
+
+  step "Cast Walking Ballista for 1, leave on stack" $ do
+    withTriggers (cast "") "Walking Ballista"
+
+  step "Stack Snap, targeting Beamsplitter then copying to Snapcaster" $ do
+    withTriggers (cast "1U") "Snap"
+    target "Beamsplitter Mage"
+    trigger "Copied Snap" "Beamsplitter Mage" >> resolveTop
+    copySpell "Snap" "Snap Copy (Snapcaster Mage)"
+    target "Snapcaster Mage"
+
+  step "Counter Walking Ballista with Rewind, untapping Steam Vents" $ do
+    withTriggers (cast "2UU") "Rewind"
+    counter "Walking Ballista"
+    resolveAetherflux 6
+    resolve "Rewind"
+    untap "Steam Vents 1"
+    untap "Steam Vents 2"
+    untap "Steam Vents 3"
+    untap "Steam Vents 4"
+
+  step "Resolve Snap copy, returning Snapcaster, untapping Breeding Pools" $ do
+    resolve "Snap Copy (Snapcaster Mage)"
+
+    move (Active, Play) (Active, Hand) "Snapcaster Mage"
+    untap "Breeding Pool 1"
+    untap "Breeding Pool 2"
+
+  step "Resolve Snap, returning Beamsplitter, untapping Breeding Pools" $ do
+    resolveAetherflux 5
+    resolve "Snap"
+    move (Active, Play) (Active, Hand) "Beamsplitter Mage"
+    untap "Breeding Pool 3"
+    untap "Breeding Pool 4"
+    resolveAetherflux 4
+
+  step "Recast Beamsplitter, stacking Snapcaster targeting Snap" $ do
+    withTriggers (cast "RU") "Beamsplitter Mage"
+    withTriggers (cast "1U") "Snapcaster Mage"
+
+    resolveAetherflux 8
+    resolve "Snapcaster Mage"
+    resolveAetherflux 7
+    resolve "Beamsplitter Mage"
+
+    targetInLocation (Active, Graveyard) "Snap"
+    gainAttribute snapped "Snap"
+
+  step "Tap all lands for 3 mana each" $ do
+    tapForManaWithTide "U" "Steam Vents 1"
+    tapForManaWithTide "U" "Steam Vents 2"
+    tapForManaWithTide "R" "Steam Vents 3"
+    tapForManaWithTide "R" "Steam Vents 4"
+    tapForManaWithTide "G" "Breeding Pool 1"
+    tapForManaWithTide "G" "Breeding Pool 2"
+    tapForManaWithTide "U" "Breeding Pool 3"
+    tapForManaWithTide "U" "Breeding Pool 4"
+
+  step "Stack flashbacked Snap, targeting Beamsplitter then copy to Snapcaster" $ do
+    withTriggers (flashbackSnapped "1U") "Snap"
+    target "Beamsplitter Mage"
+    trigger "Copied Snap" "Beamsplitter Mage" >> resolveTop
+    copySpell "Snap" "Snap Copy (Snapcaster Mage)"
+    target "Snapcaster Mage"
+
+  step "Resolve Snap copy, returning Snapcaster, untap Breeding Pools" $ do
+    resolve "Snap Copy (Snapcaster Mage)"
+
+    move (Active, Play) (Active, Hand) "Snapcaster Mage"
+    untap "Breeding Pool 1"
+    untap "Breeding Pool 2"
+
+  step "Replay Snapcaster, targeting Rewind" $ do
+    withTriggers (cast "1U") "Snapcaster Mage"
+    resolveAetherflux 10
+    resolve "Snapcaster Mage"
+    targetInLocation (Active, Graveyard) "Rewind"
+    gainAttribute snapped "Rewind"
+
+  step "Resolve Snap on Beamsplitter, untap Steam Vents" $ do
+    resolveAetherflux 9
+    resolve "Snap"
+    move (Active, Play) (Active, Hand) "Beamsplitter Mage"
+    untap "Steam Vents 3"
+    untap "Steam Vents 4"
+
+  step "Cast Baral's Expertise for all 3 in play, replaying Aetherflux for free" $ do
+    withTriggers (cast "3UU") "Baral's Expertise"
+    resolveAetherflux 11
+    resolve "Baral's Expertise"
+
+    move (Active, Play) (Active, Hand) "Aetherflux Reservoir"
+    move (Active, Play) (Active, Hand) "Man-o'-War"
+    move (Active, Play) (Active, Hand) "Snapcaster Mage"
+
+    withTriggers (cast "") "Aetherflux Reservoir"
+    resolve "Aetherflux Reservoir"
+
+  step "Cast Beamsplitter Mage, stacking Snapcaster targeting Baral's" $ do
+    withTriggers (cast "UR") "Beamsplitter Mage"
+    withTriggers (cast "1U") "Snapcaster Mage"
+    resolveAetherflux 14
+    resolve "Snapcaster Mage"
+    resolveAetherflux 13
+    resolve "Beamsplitter Mage"
+
+    targetInLocation (Active, Graveyard) "Baral's Expertise"
+    gainAttribute snapped "Baral's Expertise"
+
+  step "Flashback Baral's Expertise targeting all 3 in play, replaying Aetherflux" $ do
+    withTriggers (flashbackSnapped "3UU") "Baral's Expertise"
+    resolveAetherflux 15
+    resolve "Baral's Expertise"
+
+    move (Active, Play) (Active, Hand) "Aetherflux Reservoir"
+    move (Active, Play) (Active, Hand) "Beamsplitter Mage"
+    move (Active, Play) (Active, Hand) "Snapcaster Mage"
+
+    withTriggers (cast "") "Aetherflux Reservoir"
+    resolve "Aetherflux Reservoir"
+
+  step "Tap remaining lands for 3 mana each" $ do
+    tapForManaWithTide "G" "Breeding Pool 1"
+    tapForManaWithTide "G" "Breeding Pool 2"
+    tapForManaWithTide "R" "Steam Vents 3"
+    tapForManaWithTide "R" "Steam Vents 4"
+
+  step "Cast Channel and Fireball for life only" $ do
+    withTriggers (cast "GG") "Channel"
+    resolveAetherflux 17
+    resolve "Channel"
+
+    l <- (-) <$> countLife Active <*> pure 1
+
+    let payment = show l <> "R"
+
+    loseLife Active l
+    addMana $ show l
+
+    withTriggers (cast payment) "Fireball"
+    resolveAetherflux 18
+    resolve "Fireball"
+
+    damage (const l) (targetPlayer Opponent) "Fireball"
+
+  step "Cast Beamsplitter Mage, stacking Snapcaster targeting Fireball" $ do
+    withTriggers (cast "UR") "Beamsplitter Mage"
+    withTriggers (cast "1U") "Snapcaster Mage"
+    resolveAetherflux 20
+    resolve "Snapcaster Mage"
+    resolveAetherflux 19
+    resolve "Beamsplitter Mage"
+
+    targetInLocation (Active, Graveyard) "Fireball"
+    gainAttribute snapped "Fireball"
+
+  step "Cast Man-'o-War, returning Snapcaster Mage" $ do
+    withTriggers (cast "2U") "Man-o'-War"
+    resolveAetherflux 21
+    resolve "Man-o'-War"
+
+    target "Snapcaster Mage"
+    move (Active, Play) (Active, Hand) "Snapcaster Mage"
+
+  step "Cast Snapcaster, counter with flashback Rewind" $ do
+    withTriggers (cast "1U") "Snapcaster Mage"
+    withTriggers (flashbackSnapped "2UU") "Rewind"
+    resolveAetherflux 23
+    resolve "Rewind"
+    counter "Snapcaster Mage"
+    resolveAetherflux 22
+
+    untap "Breeding Pool 1"
+    untap "Breeding Pool 2"
+    untap "Steam Vents 3"
+    untap "Steam Vents 4"
+
+  step "Flashback Fireball with all remaining mana and life" $ do
+    tapForManaWithTide "U" "Breeding Pool 1"
+    tapForManaWithTide "U" "Breeding Pool 2"
+    tapForManaWithTide "R" "Steam Vents 3"
+    tapForManaWithTide "R" "Steam Vents 4"
+
+    life <- countLife Active
+    mana <- countManaPool Active
+    let dmg = (life - 1) + (mana - 1)
+    let payment = show dmg <> "R"
+
+    loseLife Active (life - 1)
+    addMana $ show (life - 1)
+
+    withTriggers (flashbackSnapped payment) "Fireball"
+    resolveAetherflux 24
+    resolve "Fireball"
+
+    damage (const life) (targetPlayer Opponent) "Fireball"
+
+attributes = attributeFormatter $ do
+  attribute "life" $ countLife Active
+  attribute "pool" $ countManaPool Active
+  attribute "spells" $ use spellCounter
+
+playExLandFormatter = cardFormatter "Play (ex. Land)"
+  (matchLocation (Active, Play) <> invert (matchAttribute land))
+formatter 1 = attributes <> boardFormatter
+formatter 3 = attributes
+  <> cardFormatter "Play" (matchLocation (Active, Play))
+  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
+formatter 6 = attributes <> stackFormatter
+formatter 7 = attributes <> stackFormatter
+formatter 8 = attributes <> stackFormatter
+  <> cardFormatter "Play" (matchLocation (Active, Play))
+formatter 9 = attributes <> stackFormatter
+formatter 10 = attributes <> stackFormatter
+  <> cardFormatter "Hand" (matchLocation (Active, Hand))
+  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
+formatter 11 = attributes
+  <> cardFormatter "Play" (matchLocation (Active, Play))
+  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
+formatter 13 = attributes <> stackFormatter
+formatter 14 = attributes <> stackFormatter
+  <> cardFormatter "Hand" (matchLocation (Active, Hand))
+  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
+formatter 15 = attributes <> stackFormatter
+  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
+formatter 16 = attributes
+  <> cardFormatter "Hand" (matchLocation (Active, Hand))
+  <> cardFormatter "Play" (matchLocation (Active, Play))
+formatter 17 = attributes
+  <> cardFormatter "Hand" (matchLocation (Active, Hand))
+  <> playExLandFormatter
+formatter 18 = attributes
+  <> playExLandFormatter
+  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
+formatter 19 = attributes
+  <> cardFormatter "Hand" (matchLocation (Active, Hand))
+  <> playExLandFormatter
+formatter 21 = attributeFormatter (attribute "opponent" $ countLife Opponent) <> attributes
+formatter 22 = attributes
+  <> cardFormatter "Hand" (matchLocation (Active, Hand))
+  <> playExLandFormatter
+  <> cardFormatter "Graveyard" (matchLocation (Active, Graveyard))
+formatter 23 = attributes
+  <> cardFormatter "Hand" (matchLocation (Active, Hand))
+  <> playExLandFormatter
+formatter 25 = attributeFormatter (attribute "opponent" $ countLife Opponent) <> attributes
+formatter _ = attributes
+
+spellCounter :: Lens' Board Int
+spellCounter = counters . at "spell-count" . non 0
+
+highTideCounter :: Lens' Board Int
+highTideCounter = counters . at "high-tide-count" . non 0
+
+aetherfluxTriggerName n = "Aetherflux Trigger #" <> show n
+snapped = "snapped"
+
+-- Keeps track of number of spells cast, and if Aetherflux Reservoir is in play
+-- triggers it.
+withTriggers fn name = do
+  fn name
+
+  modifying
+    spellCounter
+    (+ 1)
+
+  forCards
+    (matchInPlay <> matchName "Aetherflux Reservoir")
+    $ const $ do
+      x <- use spellCounter
+      trigger (aetherfluxTriggerName x) "Aetherflux Reservoir"
+
+tapForManaWithTide pool cn = do
+  tapForMana pool cn
+  x <- use highTideCounter
+
+  addMana (replicate x 'U')
+
+resolveAetherflux n = do
+  resolve $ aetherfluxTriggerName n
+
+  x <- use spellCounter
+  gainLife Active x
+
+flashbackSnapped mana castName = do
+  validate (matchAttribute snapped) castName
+  flashback mana castName
+