4 kyu

Loading Kata: Ltac practice: The tarai function