Beta

Loading Kata: Dual Order Also Well Order implies Finite