3 kyu

Loading Kata: Rewriting on any binary equivalence relation