5 kyu

Loading Kata: Proving Trivial Tautologies