This page is locked!

This kumite is related to the Theorem proving hello world: prove a+0=a and 0+a=a kata that you have not yet unlocked. You can unlock it either by completing it or by viewing the solutions.