Beta

Loading Kata: Remember all the guardedness and termination, and let it sized