_testing ; 

 _z _y _x ; 

 _x _z _y ; 

 _a _b _c _d ; 

 _a _b _c _d _z _y _x _l _x _y _z ; 

 _a _z _y _x _b ; 

 _a _x _z _f _e _d _b ; 

 _this ; 

 _that ; 

 _this ; 

 _that ; 

 _z ; 

 _true _z ; 

 _true ( _true _z ) ; 

 _true ( _true ( _true _z ) ) ; 

 _true ( _true ( _true ( _true _z ) ) ) ; 

 _true ( _true ( _true ( _true ( _true _z ) ) ) ) ; 

 _succ ; 

 _true ( _z ) ; 

 _true ( _true _z ) ; 

 _true ( _true ( _true _z ) ) ; 

 _predZ ; 

 _z ; 

 _true ( _z ) ; 

 _true ( _true ( _z ) ) ; 

 _true ( _true ( _true ( _z ) ) ) ; 

 _true ( _true ( _true ( _true ( _z ) ) ) ) ; 

 _iszero ; 

 _this ; 

 _that ; 

 _that ; 

 _that ; 

 _that ; 

 _that ; 

 _if_predA ; 

 _this ; 

 _that ; 

 _that ; 

 _that ; 

 _that ; 

 _if_predB ; 

 _this ; 

 _that ; 

 _that ; 

 _that ; 

 _that ; 

 _plus ; 

 _z ; 

 _true ( _z ) ; 

 _true _z ; 

 _true ( _true ( _true _z ) ) ; 

 _true ( _true ( _true ( _true _z ) ) ) ; 

 _true ( _true ( _true ( _true ( _true _z ) ) ) ) ; 

 _mult ; 

 _z ; 

 _z ; 

 _z ; 

 _true ( _true ( _z ) ) ; 

 _true ( _true ( _true ( _true ( _z ) ) ) ) ; 

 _true ( _true ( _true ( _true ( _true ( _true ( _z ) ) ) ) ) ) ; 

 _lambda _expressions ; 

 _true _z ; 

 _true _z ; 

 _true ( _true _z ) ; 

 _true ( _true ( _true _z ) ) ; 

 _lambda _expressions _for _factorial _kernel ; 

 _true _z ; 

 _z ; 

 _true ( _true ( _z ) ) ; 

 _true ( _true ( _true ( _true ( _true ( _true ( _z ) ) ) ) ) ) ; 

 _factorial _using _Y _recursive _lambda _expressions ; 

 _true _z ; 

 _true ( _z ) ; 

 _true ( _true ( _z ) ) ; 

 _true ( _true ( _true ( _true ( _true ( _true ( _z ) ) ) ) ) ) ; 

 _factorial _using _Y _recursive _kernel ; 

 _true ( _z ) ; 

 _true ( _true ( _z ) ) ; 

 _true ( _true ( _true ( _true ( _true ( _true ( _z ) ) ) ) ) ) ; 

 _factorial _using _Y _recursive _lambda _expression _in _function ; 

 _true ( _z ) ; 

 _true ( _true ( _z ) ) ; 

 _true ( _true ( _true ( _true ( _true ( _true ( _z ) ) ) ) ) ) ; 

 _factorial _using _direct _recursion ; 

 _true ( _z ) ; 

 _true ( _true ( _z ) ) ; 

 _true ( _true ( _true ( _true ( _true ( _true ( _z ) ) ) ) ) ) ;