Red Slime

When one or more Red Slime deals damage
to a player flip a coin, if heads mill the
same number of cards from that player's
library as damage dealt.