Witchcraft v0.5.0 Witchcraft.Sad

Breaking counterexample for testing